A Reo model of Software Defined Networks

Reo is a compositional coordination language for component connectors with a formal semantics based on automata. In this paper, we propose a formal model of software defined networks (SDNs) based on Reo where declarative constructs comprising of basic Reo primitives compose to specify descriptive models of both data and control planes of SDNs. We first describe the model of an SDN switch which can be compactly represented as a single state constraint automaton with a memory storing its flow table. A full network can then be compositionally constructed by composing the switches with basic communication channels. The reactive and proactive behaviour of the controllers in the control plane of an SDN can also be modelled by Reo connectors, which can compose the connectors representing data plane. The resulting model is suitable for testing, simulation, visualization, verification, and ultimately compilation into SDN switch code using the standard tools already available for Reo

The ρ(1S,2S)\rho(1S,2S), ψ(1S,2S)\psi(1S,2S), Υ(1S,2S)\Upsilon(1S,2S) and ψt(1S,2S)\psi_t(1S,2S) mesons in a double pole QCD Sum Rule

We use the method of double pole QCD sum rule which is basically a fit with two exponentials of the correlation function, where we can extract the masses and decay constants of mesons as a function of the Borel mass. We apply this method to study the mesons: $\rho(1S,2S)$, $\psi(1S,2S)$, $\Upsilon(1S,2S)$ and $\psi_t(1S,2S)$. We also present predictions for the toponiuns masses $\psi_t(1S,2S)$ of m(1S)=357 GeV and m(2S)=374 GeV.Comment: 14 pages, 11 figures in Braz J Phys (2016

Long-Time Asymptotics for the Korteweg-de Vries Equation via Nonlinear Steepest Descent

We apply the method of nonlinear steepest descent to compute the long-time asymptotics of the Korteweg-de Vries equation for decaying initial data in the soliton and similarity region. This paper can be viewed as an expository introduction to this method.Comment: 31 page

Spin-2 spectrum of defect theories

We study spin-2 excitations in the background of the recently-discovered type-IIB solutions of D'Hoker et al. These are holographically-dual to defect conformal field theories, and they are also of interest in the context of the Karch-Randall proposal for a string-theory embedding of localized gravity. We first generalize an argument by Csaki et al to show that for any solution with four-dimensional anti-de Sitter, Poincare or de Sitter invariance the spin-2 excitations obey the massless scalar wave equation in ten dimensions. For the interface solutions at hand this reduces to a Laplace-Beltrami equation on a Riemann surface with disk topology, and in the simplest case of the supersymmetric Janus solution it further reduces to an ordinary differential equation known as Heun's equation. We solve this equation numerically, and exhibit the spectrum as a function of the dilaton-jump parameter $\Delta\phi$. In the limit of large $\Delta\phi$ a nearly-flat linear-dilaton dimension grows large, and the Janus geometry becomes effectively five-dimensional. We also discuss the difficulties of localizing four-dimensional gravity in the more general backgrounds with NS5-brane or D5-brane charge, which will be analyzed in detail in a companion paper.Comment: 41 pages, 6 figure

Spinning strings and integrable spin chains in the AdS/CFT correspondence

In this introductory review we discuss dynamical tests of the AdS_5 x S^5 string/N=4 super Yang-Mills duality. After a brief introduction to AdS/CFT we argue that semiclassical string energies yield information on the quantum spectrum of the string in the limit of large angular momenta on the S^5. The energies of the folded and circular spinning string solutions rotating on a S^3 within the S^5 are derived, which yield all loop predictions for the dual gauge theory scaling dimensions. These follow from the eigenvalues of the dilatation operator of N=4 super Yang-Mills in a minimal SU(2) subsector and we display its reformulation in terms of a Heisenberg s=1/2 spin chain along with the coordinate Bethe ansatz for its explicit diagonalization. In order to make contact to the spinning string energies we then study the thermodynamic limit of the one-loop gauge theory Bethe equations and demonstrate the matching with the folded and closed string result at this loop order. Finally the known gauge theory results at higher-loop orders are reviewed and the associated long-range spin chain Bethe ansatz is introduced, leading to an asymptotic all-loop conjecture for the gauge theory Bethe equations. This uncovers discrepancies at the three-loop order between gauge theory scaling dimensions and string theory energies and the implications of this are discussed. Along the way we comment on further developments and generalizations of the subject and point to the relevant literature.Comment: 40 pages, invited contribution to Living Reviews in Relativity. v2: improvements in the text and references adde

Large scale analytic calculations in quantum field theories

We present a survey on the mathematical structure of zero- and single scale quantities and the associated calculation methods and function spaces in higher order perturbative calculations in relativistic renormalizable quantum field theories.Comment: 25 pages Latex, 1 style fil

Multiplicity of cerebrospinal fluid functions: New challenges in health and disease

This review integrates eight aspects of cerebrospinal fluid (CSF) circulatory dynamics: formation rate, pressure, flow, volume, turnover rate, composition, recycling and reabsorption. Novel ways to modulate CSF formation emanate from recent analyses of choroid plexus transcription factors (E2F5), ion transporters (NaHCO3 cotransport), transport enzymes (isoforms of carbonic anhydrase), aquaporin 1 regulation, and plasticity of receptors for fluid-regulating neuropeptides. A greater appreciation of CSF pressure (CSFP) is being generated by fresh insights on peptidergic regulatory servomechanisms, the role of dysfunctional ependyma and circumventricular organs in causing congenital hydrocephalus, and the clinical use of algorithms to delineate CSFP waveforms for diagnostic and prognostic utility. Increasing attention focuses on CSF flow: how it impacts cerebral metabolism and hemodynamics, neural stem cell progression in the subventricular zone, and catabolite/peptide clearance from the CNS. The pathophysiological significance of changes in CSF volume is assessed from the respective viewpoints of hemodynamics (choroid plexus blood flow and pulsatility), hydrodynamics (choroidal hypo- and hypersecretion) and neuroendocrine factors (i.e., coordinated regulation by atrial natriuretic peptide, arginine vasopressin and basic fibroblast growth factor). In aging, normal pressure hydrocephalus and Alzheimer's disease, the expanding CSF space reduces the CSF turnover rate, thus compromising the CSF sink action to clear harmful metabolites (e.g., amyloid) from the CNS. Dwindling CSF dynamics greatly harms the interstitial environment of neurons. Accordingly the altered CSF composition in neurodegenerative diseases and senescence, because of adverse effects on neural processes and cognition, needs more effective clinical management. CSF recycling between subarachnoid space, brain and ventricles promotes interstitial fluid (ISF) convection with both trophic and excretory benefits. Finally, CSF reabsorption via multiple pathways (olfactory and spinal arachnoidal bulk flow) is likely complemented by fluid clearance across capillary walls (aquaporin 4) and arachnoid villi when CSFP and fluid retention are markedly elevated. A model is presented that links CSF and ISF homeostasis to coordinated fluxes of water and solutes at both the blood-CSF and blood-brain transport interfaces